Article Commentary: Graphical User Interfaces for Molecular Dynamics—Quo Vadis?
نویسندگان
چکیده
منابع مشابه
Graphical User Interfaces for Molecular Dynamics—Quo Vadis?
In the past years an increasing number of graphical user interfaces for Molecular Dynamics (MD) were presented and concomitantly, more and more Molecular Dynamics studies were published. With the easier application of MD software packages the field runs the risk however, of being pervaded with unreliable results. Therefore, possible benefits and caveats have to be carefully balanced. Here we ou...
متن کاملGraphical User Interfaces for Haskell
User interfaces are normally based on low-level trickery either within the run-time system, or in a separate program which has been connected to the stream I/O system of the language. We present a new twist to this by giving some intelligence to the outside system, which will have greater control of the interface. This has a number of benefits: it makescreating new programs easier, increases th...
متن کاملSecuring graphical user interfaces
ion such as a widget set including buttons, menus, and other basic GUI elements. Performing the transformation of each client’s representation to pixels locally enables the GUI server to predict all graphical primitives that are needed for any screen update and, as a consequence, to estimate overall execution times of redrawing jobs in advance of execution. The sequence of graphical primitives ...
متن کاملGeneric Graphical User Interfaces
It is important to be able to program GUI applications in a fast and easy manner. Current GUI tools for creating visually attractive applications offer limited functionality. In this paper we introduce a new, easy to use method to program GUI applications in a pure functional language such as Clean or Generic Haskell. The method we use is a refined version of the model-view paradigm. The basic ...
متن کاملModel Checking Graphical User Interfaces
Symbolic model checking techniques have been widely and successfully applied to statically analyze dynamic properties of hardware systems. Efforts to apply this same technology to the analysis of software systems has met with a number of obstacles, such as the existence of non-nite state-spaces. This paper investigates abstractions that make it possible to cost-eeectively model check speciicati...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bioinformatics and Biology Insights
سال: 2009
ISSN: 1177-9322,1177-9322
DOI: 10.4137/bbi.s3332